# Formal Reasoning
рд╢реАрд░реНрд╖ рдкреЙрдбрдХрд╛рд╕реНрдЯ рдПрдкрд┐рд╕реЛрдб
рдЕрдкрдбреЗрдЯ рдХрд┐рдпрд╛ рдЧрдпрд╛:
Top podcast episodes featuring formal reasoning.
A Daily Chronicle of AI Innovations on October 14th 2024: ЁЯРЭ OpenAI unveils Swarm multi-agent framework ЁЯдФ Apple: тАШNo evidence of formal reasoningтАЩ in LLMs ЁЯза Jensen Huang wants Nvidia to be a company with 100 million AI assistants
A Daily Chronicle of AI Innovations on October 14th 2024
ЁЯРЭ OpenAI unveils Swarm multi-agent framework
ЁЯФо Anthropic CEO drops essay on AI and the future
ЁЯдФ Apple: тАШNo evidence of formal reasoningтАЩ in LLMs
ЁЯФо Apple smart glasses and AirPods with cameras could arrive in 2027
ЁЯза Jensen Huang wants Nvidia тАж
03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker
Today Marc Denecker joined us to present How and Why to extend First Order Logic for Knowledge-Based Systems. This presentation provided the setup for a follow-on that Marc's student Simon Vandevelde is set to give on IDP-Z3, a formal reasoning machine that Marc and Simon have built. This was a reaтАж
MBW 943: Over-Egged the Pudding - New iPad Minis, Smart Homes, Submerged
New, refreshed iPad Minis were suddenly announced Tuesday morning! What does this mean for a possible Apple October event? What are Apple's future plans for the smart home market? Alex and Jason both saw Apple's new immersive short film, Submerged, and both have interesting takes on it.
Apple inтАж
TWiG 790: Invalid URL Removed - Internet Archive Hack, Wordpress Drama
YouTube takes a baby step toward labeling authentic video
Wimbledon tennis tournament replaces line judges with technology in break with tradition
Citizen pruners
The WordPress vs. WP Engine drama, explained
Internet Archive hacked, data breach impacts 31 million users
LLMs don't do foтАж
This Week in Google 790: Invalid URL Removed
YouTube takes a baby step toward labeling authentic video
Wimbledon tennis tournament replaces line judges with technology in break with tradition
Citizen pruners
The WordPress vs. WP Engine drama, explained
Internet Archive hacked, data breach impacts 31 million users
LLMs don't do foтАж
MacBreak Weekly 943: Over-Egged the Pudding
New, refreshed iPad Minis were suddenly announced Tuesday morning! What does this mean for a possible Apple October event? What are Apple's future plans for the smart home market? Alex and Jason both saw Apple's new immersive short film, Submerged, and both have interesting takes on it.
Apple inтАж
Dr. Paul Lessard - Categorical/Structured Deep Learning
Dr. Paul Lessard and his collaborators have written a paper on "Categorical Deep Learning and Algebraic Theory of Architectures". They aim to make neural networks more interpretable, composable and amenable to formal reasoning. The key is mathematical abstraction, as exemplified by category theory тАж
AGI Needs Formal Reasoning. Carina Hong is Building it at Axiom.
There's a theorem being tested about how AI reaches general intelligence. Carina Hong's answer: through mathematics.
Carina is the founder of Axiom, and in less than a year of building, her team's AI has scored a perfect 120/120 on the Putnam mathematical competition тАФ a test where more than 50% oтАж
рдкреЙрдбрдХрд╛рд╕реНрдЯ рдЦреЛрдЬ рдЗрдВрдЬрди
рдЖрдк рд▓реЛрдЧреЛрдВ, рд╕реНрдерд╛рдиреЛрдВ рдпрд╛ рд╡рд┐рд╖рдпреЛрдВ рдХреЗ рдЖрдзрд╛рд░ рдкрд░3,820,651рдкреЙрдбрдХрд╛рд╕реНрдЯ рдФрд░195,250,925рдПрдкрд┐рд╕реЛрдб рдЦреЛрдЬрдиреЗ рдХреЗ рд▓рд┐рдП рд╣рдорд╛рд░реА рд╡реЗрдмрд╕рд╛рдЗрдЯ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред
If I have seen further than others, it is by listening to podcasts and standing upon the shoulders of
giants.
‐ Isaac "Llamacorn" Newton
рд╕рдВрдкрд╛рджрд┐рдд рдХрд░реЗрдВ
рдкреЙрдбрдХрд╛рд╕реНрдЯ рдбреЗрдЯрд╛рдмреЗрд╕ рдХреЛ рдЕрдкрдбреЗрдЯреЗрдб рд░рдЦрдиреЗ рдореЗрдВ рдорджрдж рдХреЗ рд▓рд┐рдП рдзрдиреНрдпрд╡рд╛рджред
